Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics
Toy Binary Decision Diagrams
philipzucker.com·1d
A very short, very blunt, book note
logicmatters.net·13h
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·4d
Cactus Language • Semantics 1
inquiryintoinquiry.com·14h
News for September 2025
ptreview.sublinear.info·2d
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·1d
Loading...Loading more...